Model's quality assurance using MSA and Petri Net
نویسنده
چکیده
This work presents a methodology for designing models in engineering and education fields for verifying the quality assurance conditions. The first model uses matrix structural analysis (MSA) to calculate the expected values for the model. The matrix structural analysis (MSA) uses to design model in engineering field, this helps to expect the values which is the nearest to the real ones. The MSA verify the quality assurance conditions and estimate principles or ad-hoc principles depending on the calculating the actual values. Petri nets uses in another example (Education field). Petri Nets provide a very important feature which is the dynamic property, so the model designing with Petri nets becomes look like as in real. ةص خلا : ميلعتلاو ةسدنھلا يلقح يف جذامن ميمصتل ةقيرط ثحبلا ضرعي رايتخ& هدوجلأ ديكأت طورش . لكيھ ليلحت مادختسا مت ةفوفصملا جذومنلل ةعقوتملا ميقلا باستحا ضرغل لو;ا جذومنلا يف ، نإ لكيھ ليلحت مادختسا ةفوفصملا هدوج ديكأت ضرغل يسدنھ جذومنل يمخت يف لھس ليدوملا ايعقاو اھمادختسا ضرتفملاو ةيقيقحلا ميقلا ن . نم ةيحانلا تاططخم مادختسا مت ىرخ;ا يرتبلأ لقحلا يف سفنل يميلعتلا ةمھملا تاططخم تافص زربا نم ناو ليدوملا ةدوج ديكأت يھو يرتبلأ ةفصلا يھ ةيكيمانيدلا نأب كرعشت يتلاو عقاولا يف هنأكو لمعي جذومنلا .
منابع مشابه
Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملA Framework for Developing Cyber-Physical Systems
Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...
متن کاملDefining variability in activity diagrams and Petri nets
Control flow models, such as UML activity diagrams or Petri nets, are widely accepted modeling languages used to support quality assurance activities in single system engineering as well as software product line (SPL) engineering. Quality assurance in product line engineering is a challenging task since a defect in a domain artifact may affect several products of the product line. Thus, proper ...
متن کاملNetwork Resource Management for Improving Users Quality of experience in Software Defined Network by Weighted Fuzzy Petri-NetMethod
The rapid rise in popularity of multimedia applications, such as VoIP, IPTV and Video Conferencing, intensifies the need to consider resource management for user satisfaction. Furthermore, improving Quality of Experience (QoE) in Software Defined Networks (SDNs) services is one of the important issues to be addressed by provisioning optimum resource management. In this paper, resource allocatio...
متن کامل